1. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
2. Mechanizing mathematical reasoning
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving. ; Logic, Symbolic and mathematical. ; Reasoning ; Automation. ; Reasoning ; Technique. ;
3. Mechanizing mathematical reasoning : essays in honor of Jorg H. Siekmann on the occasion of his 60th birthday
پدیدآورنده : Dieter Hutter, Werner Stephan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical,Automation ، Reasoning,Technique ، Reasoning
رده :
QA
76
.
L28
Vol
.
2605
